variable bound

可变上下界;可变约束